System programming

Results: 6665



#Item
951Computer programming / Data-flow analysis / Type system / Lambda calculus / Closure / Constraint logic programming / Constraint satisfaction / Software engineering / Constraint programming / Computing

Efficient Analyses for Realistic Off-Line Partial Evaluation: Extended Version DIKU technical report 93/4, ISSNAnders Bondorf & Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen,

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:55
952Linux kernel / Special purpose file systems / Linux / FreeBSD / Loadable kernel module / Modprobe / Kernel / Lsmod / Monolithic kernel / Computer architecture / Software / System software

The Linux Kernel Module Programming Guide Peter Jay Salzman Michael Burian Ori Pomerantz Copyright © 2001 Peter Jay Salzman 2007−05−18 ver 2.6.4

Add to Reading List

Source URL: ldp.pakuni.net

Language: English - Date: 2007-05-18 09:35:08
953Type theory / Mathematical constructivism / Realizability / Stack / Type system / Calculus / C / Programming language theory / Software engineering / Computing

-calculus Classical Realizability Channels and their reduction

Add to Reading List

Source URL: lepigre.fr

Language: English - Date: 2014-10-13 07:48:11
954Data types / Array data type / Array data structure / Ruby / Array programming / Pointer / Tensor / Type system / C / Software engineering / Computing / Computer programming

Implementing Arrays and Tensors with Ruby and libJIT J. Wedekind, H. Abdul-Rahman, M. Howarth, K. Dutton Materials and Engineering Research Institute Sheffield Hallam University Sheffield S1 1WB, UK {J.Wedekind,H.Abdul-R

Add to Reading List

Source URL: www.wedesoft.de

Language: English - Date: 2014-04-27 12:31:04
955Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.stat.nus.edu.sg

Language: English
956Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: mirrors.nic.cz

Language: English - Date: 2008-08-20 09:09:33
957VMware / Programming language implementation / Virtual machine / Hyper-V / IOPS / OpenVMS / Scheduling / Scalability / Computing / System software / Software

Demand Based Hierarchical QoS Using Storage Resource Pools Ajay Gulati, Ganesha Shanmuganathan VMware Inc {agulati, sganesh}@vmware.com Abstract

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2015-05-28 22:53:56
958Text editors / Cross-platform software / Procedural programming languages / User interface techniques / Incremental search / C / Lisp / X Window System / Software / Computing / Emacs

GNU Emacs 21 Reference Card Motion Starting Emacs

Add to Reading List

Source URL: ctieware.eng.monash.edu.au

Language: English - Date: 2008-01-03 04:01:16
959Integrated circuits / Non-volatile memory / Computer memory / Electrical wiring / Fuse / EPROM / Microcontroller / Atmel AVR / Electronics / Electronic engineering / Electromagnetism

USING THE PIC17CXX ADAPTER The PIC17CXX adapter (part#APIC17) allows the Andromeda Research EPROM+ programming system to support the complete 17CXX family of 16 bit microcontrollers from Microchip. These include the 17C4

Add to Reading List

Source URL: www.arlabs.com

Language: English - Date: 2014-02-13 22:42:10
960Unix / Compilers / Application programming interfaces / Cross-platform software / Computing platforms / Interix / Cygwin / Windows Services for UNIX / MKS Toolkit / Software / System software / Computing

Research Brief UNIX/Linux and Windows - the Power of an Integrated, All-in-One, Familiar Environment Introduction A recent IBM information technology (IT) market study shows that labor now accounts for seventy percent of

Add to Reading List

Source URL: mkssoftware.com

Language: English
UPDATE